Vernor Vinge author data searchable via API